#ifndef __EKF_CONSOLE_H__
#define __EKF_CONSOLE_H__

#define CRT_ROWS	25
#define CRT_COLS	80
#define CRT_COLS_REV 2
#define CRT_SIZE	(CRT_ROWS * CRT_COLS)

void ekf_vga_put_sc(int index, int c);
void ekf_cputchar(int c);

#endif
